Suchergebnis

Suche nach: Schlagwort = Beweistheorie und Sammlung = ULB Düsseldorf

Forcing with random variables and proof complexity
Krajíček, Jan
Cambridge [u.a.] : Cambridge Univ. Press, 2011
Grundlagen der Beweistheorie der marxistischen Philosophie
Földesi, Tamás
Koeln : Pahl-Rugenstein, 1977